1![14 Sample chapter from Touch of Class: An Introduction to Programming Well Using Objects and Contracts, by Bertrand Meyer, Springer Verlag, 2009. © Bertrand Meyer, Recursion and trees 14 Sample chapter from Touch of Class: An Introduction to Programming Well Using Objects and Contracts, by Bertrand Meyer, Springer Verlag, 2009. © Bertrand Meyer, Recursion and trees](https://www.pdfsearch.io/img/fc047a6cfca22adb15534db9af0327af.jpg) | Add to Reading ListSource URL: touch.ethz.chLanguage: English - Date: 2009-12-19 10:32:56
|
---|
2![A Comparative Study of Programmer-Written and Automatically Inferred Contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch A Comparative Study of Programmer-Written and Automatically Inferred Contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch](https://www.pdfsearch.io/img/4362cecbaf9482e9b199ad5c0a59209c.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2016-01-20 16:21:22
|
---|
3![Concurrent Software Engineering and Robotics Education Jiwon Shin∗ , Andrey Rusakov∗ , and Bertrand Meyer∗† ∗ Chair of Software Engineering, Department of Computer Science, ETH Z¨urich, Switzerland Concurrent Software Engineering and Robotics Education Jiwon Shin∗ , Andrey Rusakov∗ , and Bertrand Meyer∗† ∗ Chair of Software Engineering, Department of Computer Science, ETH Z¨urich, Switzerland](https://www.pdfsearch.io/img/7f1afbdad500871157de3cd8bb147f54.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2015-04-07 03:07:52
|
---|
4![Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin](https://www.pdfsearch.io/img/7cad9195624fac17f0e10e1f10eb0aca.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English |
---|
5![Can Asynchronous Exceptions Expire? Benjamin Morandi, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/ Can Asynchronous Exceptions Expire? Benjamin Morandi, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/](https://www.pdfsearch.io/img/7f995733ebdcdc4bb593fb68c04094b2.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-09-06 13:17:31
|
---|
6![Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Chair of Software Engineering, Department of Computer Science, ETH Zurich, Switzerland Email: first Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Chair of Software Engineering, Department of Computer Science, ETH Zurich, Switzerland Email: first](https://www.pdfsearch.io/img/801b1cca54bdacaef085f24ec6c50c49.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2015-02-17 06:56:50
|
---|
7![Specifying Reusable Components? Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {nadia.polikarpova,carlo.furia,bertrand.meyer}@inf.ethz.ch Abstract. Reusable Specifying Reusable Components? Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {nadia.polikarpova,carlo.furia,bertrand.meyer}@inf.ethz.ch Abstract. Reusable](https://www.pdfsearch.io/img/9a95e632d574ebb2ba5101d490f448d4.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2016-01-20 16:21:29
|
---|
8![Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland](https://www.pdfsearch.io/img/a005b8f40c8e71e2068e78fb87d47df3.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-08-30 12:25:15
|
---|
9![Flexible Invariants Through Semantic Collaboration? Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, and Bertrand Meyer Department of Computer Science, ETH Zurich, Switzerland Abstract Flexible Invariants Through Semantic Collaboration? Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, and Bertrand Meyer Department of Computer Science, ETH Zurich, Switzerland Abstract](https://www.pdfsearch.io/img/d58dd7dac79076fe997daae00fbb43d4.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2016-01-20 16:21:19
|
---|
10![Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/ Prototyping a Concurrency Model Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland http://se.inf.ethz.ch/](https://www.pdfsearch.io/img/6171a0b19618dbe710615e63953cce97.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-09-06 13:17:31
|
---|